Arbitrating norms for reasoning tasks
نویسندگان
چکیده
The psychology of reasoning uses norms to categorize responses tasks as correct or incorrect in order interpret the and compare them across tasks. This raises arbitration problem: any number can be used evaluate task there doesn’t seem a principled way arbitrate among them. Elqayam Evans have argued that this problem is insoluble, so they call for dispense with entirely. Alternatively, Stupple Ball must used, but should solved by favouring are sensitive context, constraints, goals human reasoning. In paper, I argue design requires selection indifferent factors influence tasks—which aren’t knowable during phase, before has been given subjects. Moreover, easily dissolved: well-designed will contain instructions implicitly explicitly specify single determinate norm, which specifies what would count solution task—independently Finally, discouraging use these priori may impair novel
منابع مشابه
Value-Based Reasoning and Norms
In this paper we explore how value-based practical reasoning relates to norms and their evolution. Starting from a basic model of a society and the norms that can arise from it, we consider how additional values, extended state descriptions and finer grained descriptions of actions, can lead to more complex norms, and a correspondingly more complex social order.
متن کاملLETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks
We present the saturation-based reasoning system Lethe. Lethe is a tool that can be used for uniform interpolation, forgetting, TBox abduction and logical di erence. To solve these problems, Lethe uses saturation-based reasoning to eliminate certain symbols from an ontology, such that entailments in the remaining vocabulary are preserved. This is known as forgetting or uniform interpolation. Le...
متن کاملCompositional Modeling for Complex Spatial Reasoning Tasks*
Reasoiung about a complex physical system generally requires the creation and execution of a model of the system, the creation of wluch in turn depends on the types of knowledge available for the physical system and their representation. Such a model is normally created by the person studying the system. Despite the considerable time and effort spent, a hand-crafted model is often error-prone. ...
متن کاملCognitive Assistants for Evidence-Based Reasoning Tasks
Evidence-based reasoning is at the core of many problem solving and decision making tasks in a wide variety of domains. This paper introduces a computational theory of evidence-based reasoning, the architecture of a learning agent shell which incorporates general knowledge for evidence-based reasoning, a methodology that uses the shell to rapidly develop cognitive assistants in a specific domai...
متن کاملReasoning about constitutive norms in BDI agents
Software agents can be members of dierent institutions along their life; they might even belong to dierent institutions simultaneously. For these reasons, agents need capabilities that allow them to determine the repercussion that their actions would have within the dierent institutions. This association between the physical word, in which agents' interactions and actions take place, and the in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2022
ISSN: ['0039-7857', '1573-0964']
DOI: https://doi.org/10.1007/s11229-022-03981-8